Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
331	Supercritical Speedup David Jefferson UCLA Los Angeles, CAAbstract Add to Reading List Source URL: lasr.cs.ucla.edu Language: English - Date: 2007-04-03 15:45:13 Computing Simulation Parallel computing Operations research Program Evaluation and Review Technique Discrete event simulation Computer simulation Logic simulation Speedup Scientific modeling Science Electronic engineering
332	Spatial Validation Academic References Submitted To: Program Manager Add to Reading List Source URL: vwfs.refractions.net Language: English - Date: 2003-08-29 19:07:32 Cartography Geodesy Geographic information system Spatial–temporal reasoning Spatial database First-order logic Geospatial analysis Geospatial metadata PostGIS Science Mathematical logic Logic
333	The currency used in Senegal is CFA Franc（Communaute Financiere Africaine Francs.）. The currency exchange rate as of January 1st, 2003 is ¥CFA Franc (according to the data of Oanda, one of the major foreign Add to Reading List Source URL: www.jica.go.jp Language: English - Date: 2012-09-18 06:25:03 Impact assessment Science Multilateral development banks Japan International Cooperation Agency Program evaluation Impact evaluation Japan Overseas Cooperation Volunteers Logic model World Bank Group Evaluation Evaluation methods Sociology
334	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:32 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
335	Microsoft PowerPoint - AN09099_f1-4 [Compatibility Mode] Add to Reading List Source URL: www.lifetimewool.com.au Language: English - Date: 2012-07-20 01:21:23 Science Project management Program evaluation Logic model Participatory evaluation Logic programming Logical framework approach Software development process Wool Evaluation methods Evaluation Impact assessment
336	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
337	PDF Document Add to Reading List Source URL: www.aral.com.au Language: English - Date: 2012-04-22 02:12:25 Methodology Systems engineering process Quantitative research Program evaluation Logic model Evaluation methods Evaluation Science
338	The Intelligence Crafter: a Fuzzy State Machine Builder Program by F. Martin McNeill Fuzzy Systems Engineering Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 09:59:32 Digital electronics Control engineering Fuzzy control system Finite-state machine State Fuzzy logic Models of computation Logic
339	Monitoring and Evaluation Plan Primer for U.S. Embassy Port of Spain I. What is a monitoring and evaluation plan? A monitoring and evaluation plan (M&E plan), sometimes also referred to as a performance monitoring or per Add to Reading List Source URL: photos.state.gov Language: English - Date: 2015-03-25 11:54:41 Methodology Impact assessment Project management Logic model Program evaluation Program management Impact evaluation Participatory impact pathways analysis Evaluation Evaluation methods Sociology
340	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics

UPDATE